Intuitionistic fixed point theories over set theories
نویسندگان
چکیده
منابع مشابه
Intuitionistic Fixed Point Theories for Strictly Positive Operators
In this paper it is shown that the intuitionistic fixed point theory ÎD i α(strict) for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and Π2 sentences over the theory ACA−i α for α times iterated arithmetic comprehension without set parameters. This generalizes results previously due to Buchholz [5] and Arai [2].
متن کاملFixed point theories and dependent choice
In this paper we establish the proof-theoretic equivalence of (i) ATR and c
متن کاملFixed-point theories on noncompact manifolds
This paper gives three noncompact variants of Lefschetz–Nielsen fixed-point theory parallel to developments that have occurred in surgery theory. Thus, we study when a proper map can be properly homotoped, or boundedly homotoped, or even homotoped in a C bounded fashion to a fixedpoint free map. As an example, the universal cover of a compact aspherical manifold always has a fixed-point free se...
متن کاملMetamathematical Properties of Intuitionistic Set Theories with Choice Principles
This paper is concerned with metamathematical properties of intuitionistic set theories with choice principles. It is proved that the disjunction property, the numerical existence property, Church’s rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory and full Intuitionistic Zermelo-Fraenkel augmented by any combination of the principles of ...
متن کاملAutomating Theories in Intuitionistic Logic
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called compatible theory. Conversely, given a first-order theory, one may want to internalize it into a rewrite system that can be used in deduction modulo, in order to get an analytic deductive system for that theory. In a rec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2015
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-015-0426-y